Lattice point of view for argumentation framework
نویسندگان
چکیده
The main purpose of this article is to develop a lattice point view for the study argumentation framework extensions. We first characterize self-defending sets an by closed implicational system that can be computed in polynomial time from framework. On other hand, any $$\Sigma $$ over set arguments, we associate whose admissible are bijection with . Second, propose conflict-closed reduction rules, based on system, find out minimal subsets vertex cover while maintaining all potential extensions as well preferred This leads delay and space algorithm enumerate frameworks without even cycles. Finally, new decomposition defined bipartite proposed improves exponential complexity previous algorithms.
منابع مشابه
Argumentation Context Systems: A Framework for Abstract Group Argumentation
We introduce a modular framework for distributed abstract argumentation where the argumentation context, that is information about preferences among arguments, values, validity, reasoning mode (skeptical vs. credulous) and even the chosen semantics can be explicitly represented. The framework consists of a collection of abstract argument systems connected via mediators. Each mediator integrates...
متن کاملA Formal Concept View of Abstract Argumentation
The paper presents a parallel between two important theories for the treatment of information which address questions that are apparently unrelated and that are studied by different research communities: an enriched view of formal concept analysis and abstract argumentation. Both theories exploit a binary relation (expressing object-property links, attacks between arguments). We show that when ...
متن کاملCOMPUTATIONAL ENUMERATION OF POINT DEFECT CLUSTERS IN DOUBLE- LATTICE CRYSTALS
The cluster representation matrices have already been successfully used to enumerate close-packed vacancy clusters in all single-lattice crystals [I, 2]. Point defect clusters in double-lattice crystals may have identical geometry but are distinct due to unique atomic postions enclosing them. The method of representation matrices is extended to make it applicable to represent and enumerate ...
متن کاملA Constructive Argumentation Framework
Dung’s argumentation framework is an abstract framework based on a set of arguments and a binary attack relation defined over the set. One instantiation, among many others, of Dung’s framework consists in constructing the arguments from a set of propositional logic formulas. Thus an argument is seen as a reason for or against the truth of a particular statement. Despite its advantages, the argu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematics and Artificial Intelligence
سال: 2023
ISSN: ['1573-7470', '1012-2443']
DOI: https://doi.org/10.1007/s10472-023-09873-y